$e$ $<$loc ${\it e'}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$loc($e$) $=$ loc(${\it e'}$) \& time($e$)$<$time(${\it e'}$)